Theorem 3.2.6